automatic checker

См. также в других словарях:

• Checker Motors Corporation — Industry Automotive Fate Acquired Founded 1922 …   Wikipedia

• Checker Aerobus — Manufacturer Checker Motors Corporation Also called Checker Convoy Production 1962 1977 …   Wikipedia

• checker — check‧er [ˈtʆekə ǁ ər] noun [countable] 1. COMPUTING spell/​ spelling/​grammar checker a computer program that checks spelling or grammar: • an automatic grammar checker that searches for missing words, bad punctuation etc 2. JOBS MANU …   Financial and business terms

• Checker Model A — The Checker Model A was introduced mid model year in 1939, and was built until 1941, when Checker switched over to wartime manufacturing, as did the rest of the auto industry. The Model A was offered in a new landaulet version that included an… …   Wikipedia

• BLAST model checker — The Berkeley Lazy Abstraction Software Verification Tool (BLAST) is a software model checking tool for C programs. The task addressed by BLAST is the need to check whether software satisfies the behavioral requirements of its associated… …   Wikipedia

• Backgammon — A backgammon set, consisting of a board, two sets of 15 checkers, two pairs of dice, a doubling cube, and dice cups Years active Approximately 5,000 years ago to present Genre(s) Board game, dice game …   Wikipedia

• Model checking — This article is about checking of models in computer science. For the checking of models in statistics, see regression model validation. In computer science, model checking refers to the following problem: Given a model of a system, test… …   Wikipedia

• Device driver synthesis and verification — The device driver is a program which allows the software or higher level computer programs to interact with a hardware device. These software components act as a link between the devices and the operating systems, communicating with each of these …   Wikipedia

• industrial glass — Introduction       solid material that is normally lustrous and transparent in appearance and that shows great durability under exposure to the natural elements. These three properties lustre, transparency, and durability make glass a favoured… …   Universalium

• ГОСТ Р ИСО/МЭК 2382-23-2004: Информационная технология. Словарь. Часть 23. Обработка текста — Терминология ГОСТ Р ИСО/МЭК 2382 23 2004: Информационная технология. Словарь. Часть 23. Обработка текста оригинал документа: 23.06.22 автоматическая нумерация параграфов [automatic paragraph numbering]: Возможность текстового процессора… …   Словарь-справочник терминов нормативно-технической документации

• Melbourne Football Club — This article is about the Australian rules football club. For the association football clubs, see Melbourne Victory FC and Melbourne Heart FC. Melbourne Names Full name Melbourne Football Club …   Wikipedia